* {
  box-sizing: content-box !important;
}
body {
  background: #F9F9F9 !important;
}
.syntaxhighlighter .lines {
  table-layout: fixed;
  word-break: break-all !important;
  overflow: hidden;
  font-size: 12px !important;
}
.syntaxhighlighter .lines code {
  box-sizing: content-box !important;
}
div#article-default {
  padding-top: 10px;
  width: 1000px;
  margin: 0 auto;
  height: auto;
  overflow: hidden;
}
div#article-default div.position {
  height: auto;
  overflow: hidden;
}
div#article-default div.position div.message {
  margin-bottom: 20px;
  color: #666666;
  font-size: 16px;
  float: left;
  clear: left;
  padding-top: 10px;
}
div#article-default div.position div.search {
  float: right;
}
div#article-default div.position div.search input[type=text] {
  font-size: 14px;
  border: solid 1px #ccc;
  background: #f3f3f3;
  width: 205px;
  height: 30px;
  padding-left: 10px;
}
div#article-default div.position div.search input[type=text]:hover {
  border: solid 1px #666;
}
div#article-default div.position div.search input[type=submit] {
  width: 60px;
  height: 31px;
  text-align: center;
  background: #599EF4;
  color: #fff;
  border: none;
  cursor: pointer;
  font-size: 14px;
}
div#article-default div.menu {
  width: 280px;
  background: #ffffff;
  padding: 0 0px 20px 0px;
  border-top: solid 3px #226bb0;
  float: right;
}
div#article-default div.menu div.send a {
  background: #226bb0;
  color: #FFFFFF;
  font-size: 20px;
  font-weight: 400;
  text-align: center;
  display: block;
  padding: 10px;
}
div#article-default div.menu div.send a:hover {
  background: #226b93;
}
div#article-default div.menu dl dt {
  font-size: 16px;
  color: #999999;
  font-weight: normal;
  border-bottom: solid 1px #dddddd;
  padding-bottom: 15px;
  margin-bottom: 10px;
  padding-left: 25px;
  padding-top: 20px;
}
div#article-default div.menu dl dd {
  border-bottom: dotted 1px #dddddd;
  padding-left: 15px;
}
div#article-default div.menu dl dd a {
  display: block;
  line-height: 45px;
  color: #666;
  text-indent: 10px;
}
div#article-default div.menu dl dd a.current,
div#article-default div.menu dl dd a:hover {
  color: #226bb0;
  text-decoration: underline;
}
div#article-default div.content {
  width: 700px;
  float: left;
  height: auto;
  overflow: hidden;
  clear: both;
}
div#article-default div.content div.header {
  border-top: solid 3px #226bb0;
  border-bottom: solid 1px #F3F3F3;
  background: #ffffff;
  padding: 10px 20px;
  line-height: 45px;
  font-size: 25px;
}
div#article-default div.content div.info {
  color: #aaaaaa;
  font-size: 14px;
  background: #ffffff;
  padding: 20px;
}
div#article-default div.content div.info a.category {
  color: #aaaaaa;
  font-weight: normal;
}
div#article-default div.content div.info a.category:hover {
  color: #666;
}
div#article-default div.content div.body {
  background: #ffffff;
  height: auto;
  overflow: hidden;
  font-size: 16px;
  padding: 0px 20px 20px 20px;
}
div#article-default div.content div.body p {
  font-size: 18px;
}
div#article-default div.content div.body p img {
  max-width: 700px;
}
div#article-default div.content div.pre_next {
  padding: 10px;
  background: #fff;
}
div#article-default div.content div.pre_next a {
  margin-right: 15px;
}
